Operating guidelines for services
نویسنده
چکیده
In a service-oriented world, the interaction of stateful services raises the need for formal verification of the behavioral compatibility of the services. In this thesis, we introduce a formal framework basing on Petri nets and automata for service modeling and formalize behavioral compatibility as deadlock freedom of the composition of the services. Many other research questions, like substitutability of services and adapter generation, build on top of the behavioral compatibility question and formulate requirements for the set R(S) of behaviorally compatible services of a given service S. To efficiently characterize the set R(S) of S, we introduce the notion of the operating guideline of S. Operating guidelines can be applied to a variety of service-related analysis questions and may support service discovery, substitutability of service and the generation of adapters between behaviorally incompatible services. All results presented in this thesis are implemented in our service analysis tool Fiona.
منابع مشابه
Matching Nondeterministic Services with Operating Guidelines
Interorganizational cooperation is more and more organized by the paradigm of services. The service-oriented architecture (SOA) provides a general framework for service interaction. It describes three roles, service provider, service requester, and service broker, together with the operations publish, find, and bind. We provide a formal method based on nondeterministic automata to model service...
متن کاملDeciding the Precongruence for Deadlock Freedom Using Operating Guidelines
In the context of asynchronously communicating and deadlock free services, the refinement relation of services has been formalized by the accordance preorder. A service Impl accords with a service Spec if every controller of Spec—that is, every environment that can interact with service Spec without deadlocking—is a controller of Impl . The procedure to decide accordance of two services uses th...
متن کاملAn Algorithm for Matching Nondeterministic Services with Operating Guidelines
Interorganizational cooperation is more and more organized by the paradigm of services. Service-oriented architectures (SOA) provide a general framework for service interaction. SOA describe three roles of services, the service provider, the service requester, and the service broker, together with the three operations publish, find, and bind. We provide a formal method based on nondeterministic...
متن کاملBehavioral Constraints for Services
In service-oriented architectures (SOA), deadlock-free interaction of services is an important correctness criterion. To support service discovery in an SOA, operating guidelines serve as a structure to characterize all deadlock-freely interacting partners of a services. In practice, however, there are intended and unintended deadlock-freely interacting partners of a service. In this paper, we ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009